2.2.16 Integrals 1501 to 1600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 64 53 54 70 65 99 50

N.S.

1 1.00 0.89 0.74 0.75 0.97 0.90 1.38 0.69

time (sec)

N/A 0.191 0.061 0.838 0.195 0.224 0.080 0.268 0.056

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 60 48 49 65 58 90 45

N.S.

1 1.00 0.92 0.74 0.75 1.00 0.89 1.38 0.69

time (sec)

N/A 0.185 0.027 2.575 0.197 0.223 0.078 0.258 0.048

Problem 1503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 54 43 44 60 51 81 40

N.S.

1 1.00 0.93 0.74 0.76 1.03 0.88 1.40 0.69

time (sec)

N/A 0.179 0.042 2.572 0.184 0.219 0.075 0.263 1.258

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 50 38 39 55 44 72 35

N.S.

1 1.00 0.98 0.75 0.76 1.08 0.86 1.41 0.69

time (sec)

N/A 0.176 0.023 2.576 0.203 0.217 0.074 0.273 0.040

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 52 33 34 50 37 63 30

N.S.

1 1.00 1.18 0.75 0.77 1.14 0.84 1.43 0.68

time (sec)

N/A 0.170 0.032 2.563 0.198 0.224 0.073 0.289 0.038

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 28 29 45 31 47 25

N.S.

1 1.00 1.00 0.76 0.78 1.22 0.84 1.27 0.68

time (sec)

N/A 0.164 0.030 2.559 0.204 0.218 0.073 0.261 1.417

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 30 25 26 37 26 43 22

N.S.

1 1.00 0.94 0.78 0.81 1.16 0.81 1.34 0.69

time (sec)

N/A 0.164 0.021 2.565 0.183 0.218 0.065 0.260 0.105

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 30 25 26 37 26 25 18

N.S.

1 1.00 0.94 0.78 0.81 1.16 0.81 0.78 0.56

time (sec)

N/A 0.163 0.019 2.565 0.180 0.221 0.053 0.272 0.039

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 30 25 26 37 26 25 26

N.S.

1 1.00 0.94 0.78 0.81 1.16 0.81 0.78 0.81

time (sec)

N/A 0.158 0.037 2.556 0.184 0.227 0.052 0.261 1.233

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 38 33 34 50 36 40 28

N.S.

1 1.00 0.90 0.79 0.81 1.19 0.86 0.95 0.67

time (sec)

N/A 0.168 0.042 2.583 0.201 0.222 0.080 0.264 1.465

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 47 44 44 73 44 53 36

N.S.

1 1.00 0.89 0.83 0.83 1.38 0.83 1.00 0.68

time (sec)

N/A 0.178 0.025 2.607 0.195 0.220 0.090 0.279 0.044

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 60 52 54 98 54 64 46

N.S.

1 1.00 0.94 0.81 0.84 1.53 0.84 1.00 0.72

time (sec)

N/A 0.194 0.019 2.587 0.197 0.226 0.100 0.267 0.046

Problem 1513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 62 56 64 123 65 73 56

N.S.

1 1.00 0.83 0.75 0.85 1.64 0.87 0.97 0.75

time (sec)

N/A 0.205 0.062 2.844 0.202 0.227 0.106 0.260 1.191

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 84 61 74 148 75 82 66

N.S.

1 1.00 0.98 0.71 0.86 1.72 0.87 0.95 0.77

time (sec)

N/A 0.211 0.026 0.876 0.196 0.225 0.112 0.273 0.049

Problem 1515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 95 66 84 173 85 91 76

N.S.

1 1.00 0.98 0.68 0.87 1.78 0.88 0.94 0.78

time (sec)

N/A 0.222 0.043 2.603 0.222 0.229 0.128 0.263 0.050

Problem 1516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 68 55 59 85 66 56 53

N.S.

1 1.00 0.89 0.72 0.78 1.12 0.87 0.74 0.70

time (sec)

N/A 0.200 0.061 2.594 0.206 0.218 0.090 0.262 1.421

Problem 1517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 60 50 54 80 60 51 48

N.S.

1 1.00 0.87 0.72 0.78 1.16 0.87 0.74 0.70

time (sec)

N/A 0.198 0.052 2.598 0.203 0.218 0.088 0.264 0.045

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 56 45 49 75 53 46 43

N.S.

1 1.00 0.90 0.73 0.79 1.21 0.85 0.74 0.69

time (sec)

N/A 0.189 0.036 4.241 0.196 0.221 0.085 0.270 0.042

Problem 1519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 40 44 70 46 41 38

N.S.

1 1.00 0.91 0.73 0.80 1.27 0.84 0.75 0.69

time (sec)

N/A 0.185 0.022 2.592 0.199 0.214 0.085 0.266 0.040

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 45 35 39 65 39 36 33

N.S.

1 1.00 0.94 0.73 0.81 1.35 0.81 0.75 0.69

time (sec)

N/A 0.179 0.023 2.592 0.205 0.217 0.079 0.269 0.042

Problem 1521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 34 33 30

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.79 0.77 0.70

time (sec)

N/A 0.176 0.018 2.590 0.204 0.216 0.081 0.266 1.275

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 34 33 26

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.79 0.77 0.60

time (sec)

N/A 0.173 0.020 2.597 0.192 0.221 0.068 0.283 0.043

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 34 33 26

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.79 0.77 0.60

time (sec)

N/A 0.171 0.027 2.589 0.192 0.224 0.066 0.301 0.041

Problem 1524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 35 32 36 55 34 33 26

N.S.

1 1.00 0.81 0.74 0.84 1.28 0.79 0.77 0.60

time (sec)

N/A 0.169 0.021 2.587 0.197 0.233 0.067 0.270 0.042

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 43 40 44 73 46 42 35

N.S.

1 1.00 0.81 0.75 0.83 1.38 0.87 0.79 0.66

time (sec)

N/A 0.178 0.037 2.595 0.188 0.226 0.093 0.261 0.045

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 60 52 54 98 56 64 45

N.S.

1 1.00 0.94 0.81 0.84 1.53 0.88 1.00 0.70

time (sec)

N/A 0.193 0.035 2.600 0.214 0.231 0.099 0.259 1.373

Problem 1527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 71 56 64 123 66 59 55

N.S.

1 1.00 0.95 0.75 0.85 1.64 0.88 0.79 0.73

time (sec)

N/A 0.219 0.045 2.601 0.197 0.229 0.108 0.254 0.048

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 84 61 74 148 76 64 65

N.S.

1 1.00 0.98 0.71 0.86 1.72 0.88 0.74 0.76

time (sec)

N/A 0.210 0.031 2.603 0.197 0.219 0.117 0.268 1.250

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 95 66 84 173 87 91 75

N.S.

1 1.00 0.98 0.68 0.87 1.78 0.90 0.94 0.77

time (sec)

N/A 0.230 0.037 2.606 0.200 0.223 0.124 0.280 0.053

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 112 86 177 179 174 214 183 176

N.S.

1 1.09 0.83 1.72 1.74 1.69 2.08 1.78 1.71

time (sec)

N/A 0.298 0.154 2.628 0.192 0.234 0.697 0.279 1.558

Problem 1531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 82 62 123 122 119 163 130 122

N.S.

1 1.08 0.82 1.62 1.61 1.57 2.14 1.71 1.61

time (sec)

N/A 0.248 0.058 0.878 0.198 0.221 0.521 0.262 1.330

Problem 1532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 65 54 82 82 76 112 84 81

N.S.

1 1.05 0.87 1.32 1.32 1.23 1.81 1.35 1.31

time (sec)

N/A 0.224 0.049 0.873 0.201 0.224 0.304 0.266 1.482

Problem 1533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 37 37 46 46 41 71 48 45

N.S.

1 0.76 0.76 0.94 0.94 0.84 1.45 0.98 0.92

time (sec)

N/A 0.162 0.034 0.856 0.198 0.223 0.157 0.273 0.116

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 26 31 25 20 33 14

N.S.

1 1.00 1.00 1.86 2.21 1.79 1.43 2.36 1.00

time (sec)

N/A 0.139 0.005 2.615 0.181 0.217 0.065 0.264 0.046

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 77 68 70 71 64 0 93 72

N.S.

1 1.04 0.92 0.95 0.96 0.86 0.00 1.26 0.97

time (sec)

N/A 0.245 0.023 2.656 0.212 0.248 0.000 0.256 1.445

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 113 102 107 157 244 0 285 147

N.S.

1 1.06 0.95 1.00 1.47 2.28 0.00 2.66 1.37

time (sec)

N/A 0.293 0.136 0.927 0.216 0.491 0.000 0.291 1.708

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 170 147 158 314 605 0 277 294

N.S.

1 1.06 0.91 0.98 1.95 3.76 0.00 1.72 1.83

time (sec)

N/A 0.389 0.174 0.970 0.223 2.486 0.000 0.269 1.990

Problem 1538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 69 55 56 67 68 102 54

N.S.

1 1.00 0.91 0.72 0.74 0.88 0.89 1.34 0.71

time (sec)

N/A 0.203 0.013 0.874 0.215 0.223 0.055 0.262 1.314

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 64 50 51 62 61 93 49

N.S.

1 1.00 0.93 0.72 0.74 0.90 0.88 1.35 0.71

time (sec)

N/A 0.195 0.012 0.850 0.211 0.216 0.054 0.263 0.041

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 59 45 46 57 54 84 44

N.S.

1 1.00 0.95 0.73 0.74 0.92 0.87 1.35 0.71

time (sec)

N/A 0.188 0.013 2.603 0.220 0.224 0.053 0.275 0.038

Problem 1541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 51 40 41 52 48 75 39

N.S.

1 1.00 0.93 0.73 0.75 0.95 0.87 1.36 0.71

time (sec)

N/A 0.180 0.011 2.616 0.203 0.222 0.050 0.269 0.031

Problem 1542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 49 35 36 47 39 66 34

N.S.

1 1.00 1.07 0.76 0.78 1.02 0.85 1.43 0.74

time (sec)

N/A 0.179 0.011 2.608 0.206 0.226 0.049 0.269 0.028

Problem 1543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 30 31 42 34 57 29

N.S.

1 1.00 1.00 0.73 0.76 1.02 0.83 1.39 0.71

time (sec)

N/A 0.169 0.010 2.603 0.195 0.216 0.048 0.268 0.027

Problem 1544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 36 25 26 37 26 48 24

N.S.

1 1.00 1.12 0.78 0.81 1.16 0.81 1.50 0.75

time (sec)

N/A 0.162 0.009 2.611 0.211 0.220 0.044 0.262 0.033

Problem 1545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 20 21 32 20 32 19

N.S.

1 1.00 0.96 0.74 0.78 1.19 0.74 1.19 0.70

time (sec)

N/A 0.161 0.009 2.600 0.192 0.214 0.038 0.267 0.039

Problem 1546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 17 18 24 15 28 16

N.S.

1 1.00 1.00 0.77 0.82 1.09 0.68 1.27 0.73

time (sec)

N/A 0.154 0.006 2.592 0.198 0.213 0.038 0.273 1.381

Problem 1547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 37 25 26 37 22 25 18

N.S.

1 1.00 1.16 0.78 0.81 1.16 0.69 0.78 0.56

time (sec)

N/A 0.166 0.012 2.597 0.205 0.222 0.048 0.263 0.044

Problem 1548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 36 34 49 36 40 26

N.S.

1 1.00 0.93 0.84 0.79 1.14 0.84 0.93 0.60

time (sec)

N/A 0.180 0.014 2.613 0.201 0.222 0.058 0.260 0.044

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 47 44 46 75 46 51 37

N.S.

1 1.00 0.87 0.81 0.85 1.39 0.85 0.94 0.69

time (sec)

N/A 0.182 0.021 2.611 0.199 0.223 0.064 0.265 1.218

Problem 1550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 52 48 56 95 54 60 46

N.S.

1 1.00 0.80 0.74 0.86 1.46 0.83 0.92 0.71

time (sec)

N/A 0.193 0.024 2.611 0.214 0.225 0.070 0.277 1.334

Problem 1551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 59 53 66 115 65 67 57

N.S.

1 1.00 0.78 0.70 0.87 1.51 0.86 0.88 0.75

time (sec)

N/A 0.202 0.034 2.594 0.194 0.225 0.080 0.260 0.076

Problem 1552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 62 58 76 135 75 78 66

N.S.

1 1.00 0.71 0.67 0.87 1.55 0.86 0.90 0.76

time (sec)

N/A 0.214 0.035 2.624 0.183 0.215 0.084 0.270 1.238

Problem 1553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 67 63 81 140 80 87 71

N.S.

1 1.00 0.68 0.64 0.83 1.43 0.82 0.89 0.72

time (sec)

N/A 0.227 0.029 2.615 0.199 0.225 0.090 0.268 1.221

Problem 1554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 74 60 61 72 73 111 59

N.S.

1 1.00 0.91 0.74 0.75 0.89 0.90 1.37 0.73

time (sec)

N/A 0.212 0.017 2.644 0.198 0.220 0.060 0.265 0.064

Problem 1555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 69 55 56 67 68 102 54

N.S.

1 1.00 0.91 0.72 0.74 0.88 0.89 1.34 0.71

time (sec)

N/A 0.200 0.014 0.855 0.197 0.217 0.056 0.259 0.085

Problem 1556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 64 50 51 62 61 93 49

N.S.

1 1.00 0.93 0.72 0.74 0.90 0.88 1.35 0.71

time (sec)

N/A 0.193 0.016 0.853 0.191 0.212 0.056 0.266 0.058

Problem 1557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 59 45 46 57 54 84 44

N.S.

1 1.00 0.95 0.73 0.74 0.92 0.87 1.35 0.71

time (sec)

N/A 0.185 0.012 0.856 0.205 0.227 0.054 0.270 0.053

Problem 1558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 54 40 41 52 48 75 39

N.S.

1 1.00 0.98 0.73 0.75 0.95 0.87 1.36 0.71

time (sec)

N/A 0.181 0.014 2.642 0.237 0.214 0.053 0.266 0.034

Problem 1559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 49 35 36 47 41 66 34

N.S.

1 1.00 1.02 0.73 0.75 0.98 0.85 1.38 0.71

time (sec)

N/A 0.176 0.012 2.631 0.202 0.214 0.050 0.269 0.029

Problem 1560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 30 31 42 34 57 29

N.S.

1 1.00 1.00 0.73 0.76 1.02 0.83 1.39 0.71

time (sec)

N/A 0.172 0.018 2.637 0.196 0.227 0.046 0.258 0.028

Problem 1561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 36 25 26 37 27 48 24

N.S.

1 1.00 1.06 0.74 0.76 1.09 0.79 1.41 0.71

time (sec)

N/A 0.165 0.009 2.632 0.206 0.215 0.043 0.256 0.034

Problem 1562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 20 21 32 20 32 19

N.S.

1 1.00 0.96 0.74 0.78 1.19 0.74 1.19 0.70

time (sec)

N/A 0.155 0.010 2.601 0.193 0.227 0.040 0.261 1.250

Problem 1563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 40 25 26 37 24 43 22

N.S.

1 1.00 1.25 0.78 0.81 1.16 0.75 1.34 0.69

time (sec)

N/A 0.166 0.011 2.643 0.211 0.219 0.059 0.271 0.052

Problem 1564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 38 36 34 49 36 40 26

N.S.

1 1.00 0.88 0.84 0.79 1.14 0.84 0.93 0.60

time (sec)

N/A 0.171 0.021 2.636 0.241 0.217 0.061 0.268 0.042

Problem 1565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 47 44 46 75 46 51 37

N.S.

1 1.00 0.87 0.81 0.85 1.39 0.85 0.94 0.69

time (sec)

N/A 0.183 0.020 2.641 0.212 0.218 0.068 0.264 0.044

Problem 1566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 54 48 56 95 56 60 46

N.S.

1 1.00 0.83 0.74 0.86 1.46 0.86 0.92 0.71

time (sec)

N/A 0.195 0.028 0.847 0.182 0.224 0.073 0.283 0.047

Problem 1567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 59 53 66 115 65 67 57

N.S.

1 1.00 0.78 0.70 0.87 1.51 0.86 0.88 0.75

time (sec)

N/A 0.199 0.028 2.630 0.203 0.224 0.083 0.265 1.383

Problem 1568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 64 58 76 135 75 78 66

N.S.

1 1.00 0.74 0.67 0.87 1.55 0.86 0.90 0.76

time (sec)

N/A 0.211 0.040 2.639 0.202 0.218 0.086 0.261 1.199

Problem 1569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 69 63 81 140 80 87 71

N.S.

1 1.00 0.70 0.64 0.83 1.43 0.82 0.89 0.72

time (sec)

N/A 0.225 0.043 2.643 0.191 0.223 0.092 0.275 1.313

Problem 1570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 74 68 96 175 95 96 86

N.S.

1 1.00 0.68 0.62 0.88 1.61 0.87 0.88 0.79

time (sec)

N/A 0.235 0.058 2.650 0.204 0.224 0.098 0.270 0.061

Problem 1571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 79 65 66 77 82 120 64

N.S.

1 1.00 0.88 0.72 0.73 0.86 0.91 1.33 0.71

time (sec)

N/A 0.213 0.015 2.667 0.200 0.214 0.062 0.272 0.077

Problem 1572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 74 60 61 72 75 111 59

N.S.

1 1.00 0.89 0.72 0.73 0.87 0.90 1.34 0.71

time (sec)

N/A 0.205 0.014 0.868 0.198 0.215 0.059 0.273 0.060

Problem 1573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 69 55 56 67 68 102 54

N.S.

1 1.00 0.91 0.72 0.74 0.88 0.89 1.34 0.71

time (sec)

N/A 0.200 0.015 0.860 0.204 0.228 0.059 0.293 0.050

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 64 50 51 62 61 93 49

N.S.

1 1.00 0.93 0.72 0.74 0.90 0.88 1.35 0.71

time (sec)

N/A 0.196 0.014 0.868 0.206 0.222 0.057 0.279 0.041

Problem 1575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 59 45 46 57 54 84 44

N.S.

1 1.00 0.95 0.73 0.74 0.92 0.87 1.35 0.71

time (sec)

N/A 0.192 0.013 0.861 0.179 0.217 0.053 0.292 0.039

Problem 1576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 54 40 41 52 48 75 39

N.S.

1 1.00 0.98 0.73 0.75 0.95 0.87 1.36 0.71

time (sec)

N/A 0.181 0.012 2.658 0.186 0.212 0.049 0.279 0.031

Problem 1577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 49 35 36 47 41 66 34

N.S.

1 1.00 1.02 0.73 0.75 0.98 0.85 1.38 0.71

time (sec)

N/A 0.195 0.011 2.662 0.198 0.214 0.048 0.269 0.028

Problem 1578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 30 31 42 34 57 29

N.S.

1 1.00 1.00 0.73 0.76 1.02 0.83 1.39 0.71

time (sec)

N/A 0.169 0.009 2.657 0.206 0.230 0.046 0.279 0.027

Problem 1579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 36 25 26 37 27 48 24

N.S.

1 1.00 1.06 0.74 0.76 1.09 0.79 1.41 0.71

time (sec)

N/A 0.166 0.007 2.655 0.210 0.211 0.041 0.288 0.032

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 28 29 45 29 47 25

N.S.

1 1.00 1.00 0.76 0.78 1.22 0.78 1.27 0.68

time (sec)

N/A 0.165 0.019 2.655 0.199 0.217 0.058 0.280 1.231

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 40 36 34 49 36 58 30

N.S.

1 1.00 0.93 0.84 0.79 1.14 0.84 1.35 0.70

time (sec)

N/A 0.172 0.068 2.661 0.191 0.222 0.068 0.285 0.077

Problem 1582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 48 44 46 75 46 51 37

N.S.

1 1.00 0.89 0.81 0.85 1.39 0.85 0.94 0.69

time (sec)

N/A 0.178 0.024 2.665 0.205 0.221 0.065 0.295 1.372

Problem 1583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 62 48 56 95 56 60 46

N.S.

1 1.00 0.95 0.74 0.86 1.46 0.86 0.92 0.71

time (sec)

N/A 0.194 0.038 2.666 0.215 0.217 0.070 0.277 1.429

Problem 1584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 59 53 66 115 66 67 57

N.S.

1 1.00 0.78 0.70 0.87 1.51 0.87 0.88 0.75

time (sec)

N/A 0.205 0.035 2.683 0.204 0.222 0.080 0.265 1.617

Problem 1585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 64 58 76 135 75 78 66

N.S.

1 1.00 0.74 0.67 0.87 1.55 0.86 0.90 0.76

time (sec)

N/A 0.217 0.103 2.702 0.205 0.216 0.086 0.285 0.054

Problem 1586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 69 63 81 140 80 87 71

N.S.

1 1.00 0.70 0.64 0.83 1.43 0.82 0.89 0.72

time (sec)

N/A 0.230 0.068 2.688 0.195 0.223 0.092 0.283 1.478

Problem 1587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 74 68 96 175 95 96 86

N.S.

1 1.00 0.68 0.62 0.88 1.61 0.87 0.88 0.79

time (sec)

N/A 0.240 0.071 2.694 0.200 0.224 0.097 0.268 0.059

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 66 53 54 70 63 99 50

N.S.

1 1.00 0.92 0.74 0.75 0.97 0.88 1.38 0.69

time (sec)

N/A 0.198 0.092 0.866 0.196 0.224 0.069 0.274 1.301

Problem 1589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 60 48 49 65 56 90 45

N.S.

1 1.00 0.92 0.74 0.75 1.00 0.86 1.38 0.69

time (sec)

N/A 0.193 0.032 0.866 0.200 0.216 0.069 0.292 1.302

Problem 1590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 55 43 44 60 49 81 40

N.S.

1 1.00 0.95 0.74 0.76 1.03 0.84 1.40 0.69

time (sec)

N/A 0.190 0.032 2.909 0.234 0.221 0.066 0.268 0.043

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 52 38 39 55 42 72 35

N.S.

1 1.00 1.02 0.75 0.76 1.08 0.82 1.41 0.69

time (sec)

N/A 0.175 0.018 2.693 0.216 0.221 0.066 0.271 0.041

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 45 33 34 50 36 63 30

N.S.

1 1.00 1.02 0.75 0.77 1.14 0.82 1.43 0.68

time (sec)

N/A 0.170 0.034 2.687 0.215 0.216 0.063 0.283 1.247

Problem 1593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 28 29 45 29 47 25

N.S.

1 1.00 1.00 0.76 0.78 1.22 0.78 1.27 0.68

time (sec)

N/A 0.167 0.020 2.662 0.221 0.237 0.063 0.287 0.054

Problem 1594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 40 25 26 37 24 43 22

N.S.

1 1.00 1.25 0.78 0.81 1.16 0.75 1.34 0.69

time (sec)

N/A 0.160 0.021 2.668 0.226 0.221 0.062 0.274 0.125

Problem 1595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 37 25 26 37 22 25 18

N.S.

1 1.00 1.16 0.78 0.81 1.16 0.69 0.78 0.56

time (sec)

N/A 0.162 0.016 2.661 0.208 0.214 0.050 0.271 1.304

Problem 1596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 38 25 26 37 26 25 26

N.S.

1 1.00 1.19 0.78 0.81 1.16 0.81 0.78 0.81

time (sec)

N/A 0.164 0.008 2.670 0.210 0.224 0.054 0.274 1.213

Problem 1597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 40 33 34 50 36 40 28

N.S.

1 1.00 0.95 0.79 0.81 1.19 0.86 0.95 0.67

time (sec)

N/A 0.172 0.049 2.694 0.221 0.221 0.076 0.275 1.359

Problem 1598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 56 44 42 65 44 55 35

N.S.

1 1.00 1.06 0.83 0.79 1.23 0.83 1.04 0.66

time (sec)

N/A 0.187 0.080 2.667 0.211 0.227 0.089 0.271 0.044

Problem 1599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 61 52 54 98 54 66 48

N.S.

1 1.00 0.95 0.81 0.84 1.53 0.84 1.03 0.75

time (sec)

N/A 0.192 0.061 2.684 0.217 0.221 0.097 0.272 1.186

Problem 1600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 70 56 64 123 65 75 56

N.S.

1 1.00 0.93 0.75 0.85 1.64 0.87 1.00 0.75

time (sec)

N/A 0.204 0.061 2.691 0.196 0.221 0.105 0.274 0.048